Object-oriented Programming Laws for Annotated Java Programs

Object-oriented programming laws have been proposed in the context of languages that are not combined with a behavioral interface specification language (BISL). The strong dependence between source-code and interface specifications may cause a number of difficulties when transforming programs. In this paper we introduce a set of programming laws for object-oriented languages like Java combined with the Java Modeling Language (JML). The set of laws deals with object-oriented features taking into account their specifications. Some laws deal only with features of the specification language. These laws constitute a set of small transformations for the development of more elaborate ones like refactorings

Metodologias não paramétricas na inferência da estabilidade de genótipos de arroz irrigado.

Objetivou-se com esse estudo avaliar a estabilidade de genótipos de arroz irrigado. Para isso, foram usados os dados de ensaios de competição de cultivares e linhagens conduzidos em três locais de Minas Gerais nas safras de 2007/08 a 2009/10, perfazendo seis ambientes

Evolução da maturação em frutos de Oleae europaea L. (Cvs. “Cobrançosa, Madural e Verdeal Transmontana”), na região de Trás-os-Montes.

A oliveira é uma cultura com grande significado económico, social e paisagístico em Trás-os-Montes, sendo as Cv. 'Cobrançosa', 'Madural' e 'Verdeal’ Transmontana' as de maior expressão na Terra Quente. Com o presente trabalho pretendeu-se estudar a evolução da maturação dos frutos destas cultivares e analisar a influência da data de colheita no tear em gordura e nos parâmetros qualitativos dos azeites obtidos

Avaliação, seleção e recomendação de cutlivares de arroz de várzeas em Minas Gerais de 1997 a 2002.

A fim de tornar a orizicultura irrigada uma atividade mais atrativa, a EPAMIG desenvolve, em parceria com a EMBRAPA Arroz e Feijão, pesquisas de melhoramento genético de arroz de várzeas com o objetivo de obter cultivares superiores às já recomendadas, tanto em produtividade como em aceitação comercial

Desempenho genotípico de linhagens de arroz de terras altas utilizando metodologia de modelos mistos.

Avaliou-se o desempenho de genótipos de arroz de terras altas utilizando metodologia de modelos mistos. Foram utilizados dados de produtividade de grãos dos ensaios de valor de cultivo e uso (VCU) do programa cooperativo de melhoramento de arroz de terras altas, desenvolvido em Minas Gerais, no período de 1997/1998 a 2007/2008. Realizou-se análise de deviance para verificar a significância dos efeitos de genótipos e suas interações com locais e anos, obtendo-se a estabilidade e a adaptabilidade genotípicas, com os métodos da média harmônica dos valores genotípicos. Os efeitos de genótipos, genótipos x locais e genótipos x anos foram estatisticamente significativos (p?0,05). As linhagens e cultivares mais estáveis foram: Curinga-3, CNA 8983, Guarani, BRSMG Caravera e CNA 8824. Com maior adaptabilidade, estabilidade e produtividade de grãos, simultaneamente, destacaram-se a BRSMG Caravera, Curinga-3, MG 1089, MG 1097 e CNA 8436. A BRSMG Caravera, entre todas as cultivares e linhagens avaliadas de 1997 a 2008, foi a de melhor desempenho pela MHPRVG, ou seja, maior estabilidade, adaptabilidade e produtividade de grãos, simultaneamente, proporcionando aos orizicultores de Minas Gerais alta segurança no seu cultiv

Estimativa da estabilidade de produção em cultivares de milho para o Estado de Minas Gerais.

Foi estudada estabilidade da produtividade de grãos de 28 hibridos de linhagens, quatro híbridos intervarietais e quatro variedades de milho (Zea mays L.), em doze regiões do Estado de Afinas Gerais. As cultivares Cargill 115, Dekalb 678, Cargill 525, Germinal ISC, Cargill 111 S e Cargill 5 11 A, apresentaram boa produtividade. De acordo com o parâmetro de estabilidade (6) as cultivares Germinal 491, Germinal 493, CMS 12, Cargill 203, Pioneer 3218, Pioneer 3216, Pioneer 6875 e Agroceres 352 F, apresentaram alta estabilidade. As cultivares Germinal 493, Cargfll 5 11 A, Pioneer 3216 e Agroceres 302 apresentaram os menores valores para os desvios da regressão (S2d). As, cultivares Cargill 511 A, Pioncer XCH 36 e Agroceres 303 apresentaram ampla estabilidade de produção de acordo com os parâmetros de estabilidade estudados. As variedades de polinização aberta CPI VI e CMS 12, CAIS 06 e IAC Maya XXI foram mais e menos estáveis na resposta ao ambiente, respectivamente

Avaliação in vitro de extratos de cinamomo (melia azedarach) contra fêmeas ingurgitadas e larvas de rhipicephalus (boophilus)microplus.

O objetivo deste estudo foi avaliar os efeitos de extratos etanólicos de galhos e sementes de Cinamomo (Melia azedarach) sobre fêmeas ingurgitadas e larvas de R. (B.) microplus in vitro. Fêmeas ingurgitadas do carrapato foram colhidas em animais naturalmente infestados, na Embrapa Pecuária Sudeste, São Carlos, SP. O extrato bruto dos galhos e sementes foram preparados no Departamento de Química de Produtos naturais da UFSCar. Cada extrato contendo 10g foi diluído em água e em etanol 30% (V/V), 0,6% de Tween 80®, para um volume final de 15 mL. A partir daí, foram feitas diluições utilizando água destilada estéril e etanol a 30% para as seguintes concentrações de extrato

Progresso genético para produtividade e peso de 100 grãos em 14 anos do Programa de Melhoramento de Arroz Irrigado de Minas Gerais.

O objetivo deste estudo foi estimar o progresso genético e ambiental da produtividade e peso de 100 grãos do programa de melhoramento de arroz irrigado do estado de Minas Gerais no período de 1998 a 2012